1241. UIST'00 : proceedings of the 13th Annual ACM Symposium on User Interface Software and Technology, San Diego, California, November 5-8, 2000
پدیدآورنده : sponsored by ACM SIGGRAPH and ACM SIGCHI, in cooperation with ACM SIGSOFT
کتابخانه: (طهران)
موضوع : Congresses ، User interfaces )Computer systems(,Congresses ، Interactive computer systems,Congresses ، Computer software
رده :
QA
76
.
9
.
U83A23
2000
1242. Ubiquitous communications and network computing :
پدیدآورنده : Navin Kumar, R. Venkatesha Prasad (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Computer networks.,Computer science.,Internet of things.
رده :
TK5105
.
5
1243. Ubiquitous mobile information and collaboration systems : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, revised selected papers
پدیدآورنده : Luciano Baresi...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer-aided software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
3272
1244. User centric media
پدیدآورنده : Federico Alvarez, Cristina Costa (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Multimedia systems, Congresses,Social media, Congresses,User-generated content, Congresses
رده :
QA76
.
575
.
U26
2010eb
1245. User science and engineering :
پدیدآورنده : Natrah Abdullah, Wan Adilah Wan Adnan, Marcus Foth (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : User interfaces (Computer systems), Congresses.,User-centered system design, Congresses.,Computers and Education.,Image Processing and Computer Vision.,Information Systems Applications (incl. Internet).,User Interfaces and Human Computer Interaction.,Computers-- Computer Graphics.,Computers-- Information Technology.,Computers-- User Interfaces.,Education-- Computers & Technology.,Educational equipment & technology, computer-aided learning (CAL).,Image processing.,Information retrieval.,User interface design & usability.,User interfaces (Computer systems),User-centered system design.
رده :
QA76
.
9
.
U83
1246. VLSI-SoC :
پدیدآورنده : Nicola Bombieri, Graziano Pravadelli, Masahiro Fujita, Todd Austin, Ricardo Reis (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer network architectures, Congresses.,Integrated circuits-- Very large scale integration, Congresses.,Internet of things, Congresses.,Systems on a chip, Congresses.,Computer network architectures.,Integrated circuits-- Very large scale integration.,Internet of things.,Systems on a chip.
رده :
TK7874
.
75
.
I34
2018
1247. Validation and verification of knowledge based systems :
پدیدآورنده : edited by Anca Vermesan and Frans Coenen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
V47
E358
2011
1248. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
1249. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
1250. Virtual design and manufacture
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، CAD/CAM systems,Congresses ، Virtual reality,Congresses ، Engineering design-- Data processing,Congresses ، Manufacturing processes-- Computer simulation
رده :
TS
155
.
6
.
V57
2000
1251. Virtual prototyping : virtual environments and the product design process : Proceedings of the IFIP WG 5.10 Workshop on Virtual Environments and Their Applications and Virtual Prototyping, 1994
پدیدآورنده : edited by Joachim Rix, Stefan Haas and Jose Teixeira
کتابخانه: (طهران)
موضوع : Virtual computer systems - Congresses , Prototypes, Engineering - Congresses , New products - Design - Computer simulation - Congresses , Design, Industrial - Computer simulation - Congresses
رده :
QA
76
.
9
.
V5
I34
1994
1252. WISE 2020 :--Web information systems engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Systems engineering ; Congresses. ;
1253. WISE 2020 :--Web information systems engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Systems engineering ; Congresses. ;
1254. Web Information Systems Engineering – WISE 2015
پدیدآورنده : \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science.,Computer networks.,نرم‌افزار -- مهندسی -- کنگره‌ها ,علوم کامپیوتر,شبکه‌های رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
1255. Web engineering :
پدیدآورنده : Maxim Bakaev, Flavius Frasincar, In-Young Ko (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
رده :
TK5105
.
888
1256. Web engineering
پدیدآورنده : Martin Gaedke, Michael Grossniklaus, Oscar Díaz (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : World Wide Web, Congresses
رده :
TK5105
.
888
.
I28
2009
1257. Web engineering
پدیدآورنده : Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses,Web services, Congresses,World Wide Web, Congresses
رده :
TK5105
.
888
.
I28
2012eb
1258. Web information systems - WISE 2004 Workshops : WISE 2004 International Workshops, Brisbane, Australia, November 22-24, 2004 : proceedings
پدیدآورنده : Christoph Bussler...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Information storage and retrieval systems,Congresses ، Web databases
رده :
QA
76
.
L28
Vol
.
3307
1259. Web information systems - WISE 2004 : 5th International Conference on Web Information Systems Engineering, Brisbane, Australia, November 22-24, 2004; proceedings
پدیدآورنده : Xiaofang Zhou...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Information storage and retrieval systems,Congresses ، Web databases,Congresses ، Semantic web,Congresses ، World Wide Web,Congresses ، Distributed databases,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
3306
1260. Web information systems and mining :
پدیدآورنده : Zhiguo Gong [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data mining, Congresses,Semantic Web, Congresses,Web services, Congresses
رده :
TK5105
.
88815
.
W57
2011
